Towards a Visual Programming Environment Generator for Algebraic Specifications

نویسندگان

  • Suzan Üsküdarli
  • T. B. Dinesh
چکیده

In the visual languages community there has been a growing consensus that visual languages will be most successful in the case of special purpose languages. Furthermore, their success will largely depend on the programming environment which is provided for them. Programming environment generators, generate programming environments for formally speciied languages. This paper discusses speciication of visual languages and the generation of visual environments. We focus on a picture deenition language, Vodl, which serves as the basis for deening the syntax of visual languages. We present the language deenition and an example showing how Vodl is used in deening language syntax and thereafter generating visual editors. Finally, we discuss how to extend this approach in creating a visual speciication formalism and a supporting environment for specifying the syntax and semantics of visual languages.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Generating User Interfaces from

The generation of the dialogue description from an algebraic specification of the application and its restrictions to different user groups are presented. The idea and motivation for the work is that the development of the application and the UI has to go hand in hand. Moreover, the UI should be generated since the programming of UIs is a time consuming and error-prone task. A formal specificat...

متن کامل

Visual Data-Parallel Programming for Signal Processing Applications

Matrix manipulation programs are easily developed using a visual language. For signal processing, a graph of tasks operates on arrays. Each task iterates the same code on different patterns tilling these arrays. In this case visual specifications of dependencies between the pattern elements are enough to define an application. From the ARRAY-OL language developed by Thomson Marconi Sonar, we pr...

متن کامل

Towards Model Transformation in Generated Eclipse Editor Plug-Ins

With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verification in the software development process. In this paper, we describe a high-level concept for specifying model transformations by means of typed, attributed graph transformation at the level of formal visual language...

متن کامل

Towards Pedagogability of Mathematical Music Theory: Algebraic Models and Tiling Problems in computer-aided composition

The paper aims at clarifying the pedagogical relevance of an algebraic-oriented perspective in the foundation of a structural and formalized approach in contemporary computational musicology. After briefly discussing the historical emergence of the concept of algebraic structure in systematic musicology, we present some pedagogical aspects of our MathTools environment within OpenMusic graphical...

متن کامل

A Provably Correct Complier Generator

We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated compilers emit absolute code for an abstract RISC machine language that currently is assembled into code for the SPARC and the HP Precision Architecture. Our machine language needs no run-time type-checking and is thus mor...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995